Regular language

Results: 1038



#Item
131Cross-platform software / Language Integrated Query / Zero-knowledge proof / Multitier architecture / C / Inline expansion / Regular expression / Type system / Monad / Computing / Software engineering / Computer programming

PDF Document

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2014-07-09 20:04:43
132Mathematics / Computer science / Pumping lemma for regular languages / Deterministic finite automaton / Nondeterministic finite automaton / Pumping lemma for context-free languages / Regular language / Regular expression / String / Formal languages / Automata theory / Theoretical computer science

ICS 162 – Fall 2003 – Midterm Name: Solution Key Student ID: 1: 30

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2003-11-21 17:50:43
133Independence / Computer science / Applied mathematics / Mathematics / Automata theory / Ω-automaton / Regular language

On ω-Regular Trace Languages Classification and Synthesis Namit Chaturvedi and Marcus Gelderie GAMES 2012

Add to Reading List

Source URL: www.automata.rwth-aachen.de

Language: English - Date: 2012-09-07 05:30:52
134Number / Recursive transition network / Truthiness / Formal grammar / 0.999... / Regular expression / Backus–Naur Form / Formal languages / Mathematics / Combinatorics

Introduction to Computing: Explorations in Language, Logic, and Machines

Add to Reading List

Source URL: www.computingbook.org

Language: English - Date: 2011-08-24 08:03:05
135Computing / Backus–Naur Form / Formal grammar / IMP programming language / Syntax / Semantics / Terminal and nonterminal symbols / Regular expression / Ficus / Formal languages / Software engineering / Computer programming

June 21, 1967 CGTM No. 16 Dan Ross BOX SYNTAX A 2-DIMENSIONAL METALANGUAGE

Add to Reading List

Source URL: www.slac.stanford.edu

Language: English - Date: 2011-07-15 16:33:00
136Compiler construction / Regular expressions / Formal languages / Parsing / Natural language processing / Lexical analysis / Information extraction / Pattern matching / C preprocessor / Computing / Programming language implementation / Software engineering

FACILE: DESCRIPTION OF THE NE SYSTEM USED FOR MUC-7 William J Black, Fabio Rinaldi and David Mowatt Department of Language Engineering UMIST PO Box 88, Sackville Street Manchester M60 1QD, United Kingdom

Add to Reading List

Source URL: www.itl.nist.gov

Language: English - Date: 2001-01-11 13:44:49
137Formal languages / Compiler construction / Parsing / Compiling tools / Test Anything Protocol / Extended Backus–Naur Form / Lex / Formal grammar / Regular expression / Programming language implementation / Computing / Software engineering

Perl versiondocumentation - TAP::Parser::Grammar NAME TAP::Parser::Grammar - A grammar for the Test Anything Protocol. VERSION

Add to Reading List

Source URL: perldoc.perl.org

Language: English - Date: 2014-10-03 15:52:05
138Models of computation / Mathematics / Computer science / Combinatorics on words / Finite state transducer / Tree automaton / Finite-state machine / Alphabet / Regular language / Automata theory / Formal languages / Theoretical computer science

The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2011-09-16 13:09:59
139Cross-platform software / Text editors / User interface techniques / Lisp programming language / Lisp / Incremental search / Regular expression / C / Shell / Software / Computing / Emacs

XEmacs Reference Card (for version 20.5+) Starting Emacs To enter XEmacs, just type its name: xemacs To read in a le to edit, see Files, below.

Add to Reading List

Source URL: tecfa.unige.ch

Language: English - Date: 2004-09-29 06:45:12
140C programming language / C Standard Library / C / Cross-platform software / Pointer / POSIX / Regular expression / Setjmp.h / C syntax / Computing / Computer programming / Software engineering

WG 14 Document: N1559 Submitter: Martin Sebor Submission Date: Source: Reference Document: Version:

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2011-03-14 05:49:37
UPDATE